<dl class="large horizontal" id="summary">
  {% if typeof(rdoc['score']) == 'number' %}
    <dt>{{ _('Score') }}</dt>
    <dd>{{ rdoc['score'] }}</dd>
  {% endif %}
  {% set _ge = rdoc['status'] == STATUS.STATUS_TIME_LIMIT_EXCEEDED or rdoc['status'] == STATUS.STATUS_MEMORY_LIMIT_EXCEEDED or rdoc['status'] == STATUS.STATUS_OUTPUT_LIMIT_EXCEEDED %}
  {% if rdoc['time'] %}
    <dt>{{ _('Total Time') }}</dt>
    <dd>{% if _ge %}&ge;{% endif %}{{ rdoc.time|round(0) }}ms</dd>
  {% endif %}
  {% if rdoc.testCases.length %}
    <dt>{{ _('Peak Time') }}</dt>
    <dd>{% if _ge %}&ge;{% endif %}{{ (rdoc.testCases|sort(true, true, "time")|first)["time"]|round(0) }}ms</dd>
  {% endif %}
  {% if rdoc['memory'] %}
    <dt>{{ _('Peak Memory') }}</dt>
    <dd>{% if _ge %}&ge;{% endif %}{{ size(rdoc.memory, 1024) }}</dd>
  {% endif %}
</dl>
